Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
Ricoh Innovations; and Stanford University - Pattern recognition, neural networks, machine learning, adaptive human interfaces for data repositories, strategic document studies, image and pattern recognition algorithms for novel parallel hardware, Ope...
University of Michigan - Computer science professor with research in parallel computing, algorithms, scientific and statistical computing, and discrete mathematics.